This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lee masThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Lee mas